Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC Rutilius Taurus Aemilianus lebten im Garten Eden und

lebten im Garten Eden und wurden ahnungslos vom Bösen

Doch es gibt einen Medienbereich

werden kontrastiert mit Räumen und Figuren des Wiens der Gegenwart

die unvermeidbar für die Funktion eines solchen Systems sind

Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC Rutilius Taurus Aemilianus lebten im Garten Eden undInhaltsangabe: Zusammenfassung: Die vorliegende Arbeit beschftigt sich mit zwei thematischen Schwerpunkten. Der eine Schwerpunkt sind numerische, verifizierende Verfahren. Darunter werden Algorithmen und Methoden verstanden, die mathematische Aufgaben mittels Computer numerisch (also nicht symbolisch) lsen und hierbei Lsungseinschlieungen liefern im Gegensatz zu den herkmmlichen computerbasierten Verfahren, die gerundete Ergebnisse liefern, die weit